首页> 外文OA文献 >An abstraction-refinement framework for multi-agent systems

【2h】

An abstraction-refinement framework for multi-agent systems

机译：多主体系统的抽象优化框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Thomas Ball;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A framework for compositional verification of multi-valued systems via abstraction-refinement [J] . Yael Meller, Orna Grumberg, Sharon Shoham Information and computation . 2016,第Apra期

机译：通过抽象提炼对多值系统进行成分验证的框架
2. CONTROLLED INTERCONNECTED HYBRID SYSTEMS - A NEW FRAMEWORK FOR MULTI-AGENT SYSTEMS [J] . Y. Shokri-Kalandaragh, H.A. Talebi Control and Intelligent Systems . 2018,第4期

机译：受控的互连混合系统-多Agent系统的新框架
3. A Framework of System of Systems Design with Scenario, Multi-Agent Simulation and Robustness Assessment [J] . Yutaka Nomaguchi, Kikuo Fujita Procedia CIRP . 2017,第2aPartaB期

机译：具有场景，多Agent仿真和鲁棒性评估的系统设计系统框架
4. An Abstraction-Refinement Framework for Multi-Agent Systems [C] . Ball, T., Kupferman, . 2006

机译：多代理系统的抽象优化框架
5. A bio-inspired multi-agent system framework for real-time load management in all-electric ship power systems [D] . Feng, Xianyong. 2012

机译：一个生物启发的多功能系统框架，用于全电邮电力系统实时负荷管理
6. A Decentralized Framework for Multi-Agent Robotic Systems [O] . Andrés C. Jiménez, Vicente García-Díaz, Sandro Bolaños 2018

机译：多代理机器人系统的分散框架
7. A framework for compositional verification of multi-valued systems via abstraction-refinement [O] . Yael Meller, Orna Grumberg, Sharon Shoham 2016

机译：通过抽象改进的多价系统组成验证的框架
8. AFECS. Multi-Agent Framework for Experiment Control Systems [R] . Jastrzembski, E., Timmer, C., Wolin, E., 2008

机译：aFECs。实验控制系统的多agent框架

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号